[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

221 205 176 179 217 174 0 672 277

N.S.

1 0.93 0.80 0.81 0.98 0.79 0.00 3.04 1.25

time (sec)

N/A 1.266 2.536 3.702 0.254 0.299 0.000 0.353 14.926

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

334 348 244 277 474 327 0 1186 709

N.S.

1 1.04 0.73 0.83 1.42 0.98 0.00 3.55 2.12

time (sec)

N/A 1.897 2.181 7.384 0.223 0.293 0.000 0.404 18.351

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

250 266 198 237 379 281 0 850 555

N.S.

1 1.06 0.79 0.95 1.52 1.12 0.00 3.40 2.22

time (sec)

N/A 1.451 3.365 6.025 0.222 0.290 0.000 0.384 18.026

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 212 160 206 303 250 0 635 1969

N.S.

1 1.06 0.80 1.03 1.52 1.25 0.00 3.18 9.84

time (sec)

N/A 0.764 0.782 5.308 0.234 0.295 0.000 0.398 17.311

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 202 469 209 245 219 0 387 636

N.S.

1 1.04 2.41 1.07 1.26 1.12 0.00 1.98 3.26

time (sec)

N/A 0.806 8.144 3.903 0.261 0.298 0.000 0.370 16.744

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 208 310 187 209 202 0 528 330

N.S.

1 1.00 1.48 0.89 1.00 0.97 0.00 2.53 1.58

time (sec)

N/A 0.942 3.628 2.750 0.220 0.305 0.000 0.359 16.763

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 203 257 189 197 196 0 371 2523

N.S.

1 1.03 1.30 0.95 0.99 0.99 0.00 1.87 12.74

time (sec)

N/A 1.492 2.856 3.365 0.237 0.291 0.000 0.381 16.433

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 228 210 189 215 183 0 603 369

N.S.

1 1.06 0.97 0.88 1.00 0.85 0.00 2.79 1.71

time (sec)

N/A 1.525 2.092 2.809 0.216 0.290 0.000 0.360 15.452

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 271 263 201 246 197 0 791 307

N.S.

1 1.05 1.02 0.78 0.95 0.76 0.00 3.07 1.19

time (sec)

N/A 1.605 1.788 3.644 0.224 0.292 0.000 0.348 15.222

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

309 287 333 247 307 243 0 1127 403

N.S.

1 0.93 1.08 0.80 0.99 0.79 0.00 3.65 1.30

time (sec)

N/A 1.914 3.318 4.764 0.225 0.292 0.000 0.365 15.554

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 204 422 335 0 743 0 412 4667

N.S.

1 1.09 2.26 1.79 0.00 3.97 0.00 2.20 24.96

time (sec)

N/A 1.506 2.342 1.171 0.000 0.739 0.000 0.349 19.279

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 155 300 229 0 609 0 269 4047

N.S.

1 1.08 2.10 1.60 0.00 4.26 0.00 1.88 28.30

time (sec)

N/A 1.027 2.071 1.060 0.000 2.875 0.000 0.369 18.536

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 95 130 144 0 472 0 176 719

N.S.

1 0.97 1.33 1.47 0.00 4.82 0.00 1.80 7.34

time (sec)

N/A 0.648 0.943 0.877 0.000 0.370 0.000 0.362 15.303

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 112 92 0 316 0 127 573

N.S.

1 1.00 1.47 1.21 0.00 4.16 0.00 1.67 7.54

time (sec)

N/A 0.479 0.439 0.873 0.000 0.656 0.000 0.334 15.382

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 68 73 0 250 0 274 573

N.S.

1 1.00 1.01 1.09 0.00 3.73 0.00 4.09 8.55

time (sec)

N/A 0.394 0.168 0.802 0.000 0.301 0.000 0.328 15.466

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 87 85 111 0 328 0 141 740

N.S.

1 0.97 0.94 1.23 0.00 3.64 0.00 1.57 8.22

time (sec)

N/A 0.446 0.677 1.065 0.000 0.297 0.000 0.323 15.987

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 145 121 168 0 427 0 227 3740

N.S.

1 1.08 0.90 1.25 0.00 3.19 0.00 1.69 27.91

time (sec)

N/A 0.951 0.805 1.057 0.000 0.292 0.000 0.329 18.884

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 195 152 242 0 547 0 360 4572

N.S.

1 1.10 0.85 1.36 0.00 3.07 0.00 2.02 25.69

time (sec)

N/A 1.361 0.997 1.283 0.000 0.317 0.000 0.337 20.083

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

240 265 202 381 0 685 0 642 5903

N.S.

1 1.10 0.84 1.59 0.00 2.85 0.00 2.68 24.60

time (sec)

N/A 1.990 1.130 1.265 0.000 0.352 0.000 0.330 21.663

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

272 286 438 330 0 1343 0 384 6678

N.S.

1 1.05 1.61 1.21 0.00 4.94 0.00 1.41 24.55

time (sec)

N/A 1.855 7.045 1.533 0.000 12.107 0.000 0.346 24.244

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 194 240 245 0 1114 0 404 5436

N.S.

1 1.18 1.46 1.49 0.00 6.79 0.00 2.46 33.15

time (sec)

N/A 1.269 2.085 1.174 0.000 7.588 0.000 0.354 22.961

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 158 191 185 0 694 0 231 3751

N.S.

1 1.21 1.46 1.41 0.00 5.30 0.00 1.76 28.63

time (sec)

N/A 0.866 0.928 0.930 0.000 2.361 0.000 0.342 22.003

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 111 97 132 0 389 0 172 106

N.S.

1 1.11 0.97 1.32 0.00 3.89 0.00 1.72 1.06

time (sec)

N/A 0.504 0.425 0.799 0.000 0.308 0.000 0.332 14.715

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 149 155 168 0 561 0 201 3763

N.S.

1 1.20 1.25 1.35 0.00 4.52 0.00 1.62 30.35

time (sec)

N/A 0.698 1.041 0.814 0.000 0.337 0.000 0.313 22.302

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 199 221 213 0 788 0 1107 3264

N.S.

1 1.11 1.23 1.18 0.00 4.38 0.00 6.15 18.13

time (sec)

N/A 1.151 2.259 1.117 0.000 0.365 0.000 0.442 19.673

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

261 275 184 270 0 970 0 340 6731

N.S.

1 1.05 0.70 1.03 0.00 3.72 0.00 1.30 25.79

time (sec)

N/A 1.786 1.666 1.428 0.000 0.381 0.000 0.328 23.831

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

346 355 224 346 0 1167 0 473 7763

N.S.

1 1.03 0.65 1.00 0.00 3.37 0.00 1.37 22.44

time (sec)

N/A 2.495 2.181 1.454 0.000 0.398 0.000 0.341 25.592

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

407 433 507 464 0 2444 0 1391 10533

N.S.

1 1.06 1.25 1.14 0.00 6.00 0.00 3.42 25.88

time (sec)

N/A 2.916 3.049 2.076 0.000 42.647 0.000 0.443 27.292

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

289 326 418 380 0 2111 0 581 9286

N.S.

1 1.13 1.45 1.31 0.00 7.30 0.00 2.01 32.13

time (sec)

N/A 2.058 7.038 1.974 0.000 29.331 0.000 0.404 27.250

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 256 270 305 0 1419 0 486 6899

N.S.

1 1.16 1.23 1.39 0.00 6.45 0.00 2.21 31.36

time (sec)

N/A 1.452 1.653 1.441 0.000 10.503 0.000 0.406 23.968

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 206 157 238 0 750 0 400 251

N.S.

1 1.14 0.87 1.32 0.00 4.17 0.00 2.22 1.39

time (sec)

N/A 0.886 0.694 1.089 0.000 0.328 0.000 0.369 18.163

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 190 172 236 0 752 0 399 251

N.S.

1 1.16 1.05 1.44 0.00 4.59 0.00 2.43 1.53

time (sec)

N/A 0.810 1.135 0.856 0.000 0.318 0.000 0.361 17.551

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 249 267 287 0 1152 0 457 6909

N.S.

1 1.21 1.30 1.40 0.00 5.62 0.00 2.23 33.70

time (sec)

N/A 1.162 2.466 1.170 0.000 0.349 0.000 0.390 24.176

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

290 326 306 347 0 1568 0 546 5530

N.S.

1 1.12 1.06 1.20 0.00 5.41 0.00 1.88 19.07

time (sec)

N/A 1.976 2.776 1.491 0.000 0.380 0.000 0.377 22.677

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

393 417 734 403 0 1811 0 2700 10586

N.S.

1 1.06 1.87 1.03 0.00 4.61 0.00 6.87 26.94

time (sec)

N/A 2.872 3.758 1.997 0.000 0.440 0.000 0.645 27.624

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

418 475 548 591 0 3434 0 1005 13092

N.S.

1 1.14 1.31 1.41 0.00 8.22 0.00 2.40 31.32

time (sec)

N/A 3.140 4.106 2.076 0.000 76.661 0.000 0.413 34.952

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

310 365 369 482 0 2278 0 844 9713

N.S.

1 1.18 1.19 1.55 0.00 7.35 0.00 2.72 31.33

time (sec)

N/A 2.146 1.916 1.978 0.000 27.998 0.000 0.396 27.404

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 319 226 375 0 1230 0 693 439

N.S.

1 1.16 0.82 1.37 0.00 4.49 0.00 2.53 1.60

time (sec)

N/A 1.483 1.838 1.358 0.000 0.374 0.000 0.373 19.601

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 302 252 388 0 1242 0 726 451

N.S.

1 1.15 0.96 1.48 0.00 4.72 0.00 2.76 1.71

time (sec)

N/A 1.314 1.532 1.138 0.000 0.354 0.000 0.379 19.232

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 279 404 376 0 1238 0 693 439

N.S.

1 1.18 1.70 1.59 0.00 5.22 0.00 2.92 1.85

time (sec)

N/A 1.187 2.429 1.270 0.000 0.369 0.000 0.380 19.245

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 356 769 464 0 1867 0 814 9721

N.S.

1 1.22 2.63 1.59 0.00 6.39 0.00 2.79 33.29

time (sec)

N/A 1.727 4.721 1.119 0.000 0.425 0.000 0.396 27.243

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

411 467 1205 558 0 2560 0 966 7863

N.S.

1 1.14 2.93 1.36 0.00 6.23 0.00 2.35 19.13

time (sec)

N/A 3.042 6.635 2.037 0.000 0.526 0.000 0.398 27.596

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

538 582 1452 615 0 2890 0 1052 14438

N.S.

1 1.08 2.70 1.14 0.00 5.37 0.00 1.96 26.84

time (sec)

N/A 4.150 8.090 2.836 0.000 0.565 0.000 0.411 28.977

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 70 61 76 0 197 0 187 91

N.S.

1 1.15 1.00 1.25 0.00 3.23 0.00 3.07 1.49

time (sec)

N/A 0.412 0.190 0.781 0.000 0.285 0.000 0.313 15.215

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

6 6 6 7 0 6 3 13 6

N.S.

1 1.00 1.00 1.17 0.00 1.00 0.50 2.17 1.00

time (sec)

N/A 0.144 0.002 0.357 0.000 0.250 2.827 0.300 14.477

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 122 97 120 0 279 0 139 444

N.S.

1 1.42 1.13 1.40 0.00 3.24 0.00 1.62 5.16

time (sec)

N/A 0.658 0.868 0.819 0.000 0.281 0.000 0.314 14.982

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 33 39 37 80 84 0 58 26

N.S.

1 0.38 0.45 0.43 0.92 0.97 0.00 0.67 0.30

time (sec)

N/A 0.344 0.260 0.814 0.284 0.283 0.000 0.321 14.878

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

485 505 3734 5582 0 0 0 0 0

N.S.

1 1.04 7.70 11.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.433 23.824 38.595 0.000 0.000 0.000 0.000 0.000

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

397 414 530 4327 0 0 0 0 0

N.S.

1 1.04 1.34 10.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.814 17.687 34.717 0.000 0.000 0.000 0.000 0.000

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

314 320 434 3107 0 0 0 0 0

N.S.

1 1.02 1.38 9.89 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.178 15.280 26.635 0.000 0.000 0.000 0.000 0.000

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

256 257 408 2194 0 0 0 0 0

N.S.

1 1.00 1.59 8.57 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.871 12.401 24.402 0.000 0.000 0.000 0.000 0.000

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 320 713 1249 0 0 0 0 0

N.S.

1 1.00 2.23 3.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.011 16.641 20.451 0.000 0.000 0.000 0.000 0.000

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

344 351 843 1855 0 0 0 0 0

N.S.

1 1.02 2.45 5.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.336 14.741 10.466 0.000 0.000 0.000 0.000 0.000

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

429 427 1149 2768 0 0 0 0 0

N.S.

1 1.00 2.68 6.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.855 17.813 6.505 0.000 0.000 0.000 0.000 0.000

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

509 515 1548 4001 0 0 0 0 0

N.S.

1 1.01 3.04 7.86 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.476 19.097 9.222 0.000 0.000 0.000 0.000 0.000

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

475 491 3766 5582 0 0 0 0 0

N.S.

1 1.03 7.93 11.75 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.095 31.438 39.861 0.000 0.000 0.000 0.000 0.000

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

388 396 3342 4321 0 0 0 0 0

N.S.

1 1.02 8.61 11.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.604 28.292 28.256 0.000 0.000 0.000 0.000 0.000

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

312 318 502 3360 0 0 0 0 0

N.S.

1 1.02 1.61 10.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.203 18.147 29.090 0.000 0.000 0.000 0.000 0.000

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

381 382 6063 2984 0 0 0 0 0

N.S.

1 1.00 15.91 7.83 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.360 24.212 25.076 0.000 0.000 0.000 0.000 0.000

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

361 368 971 2955 0 0 0 0 0

N.S.

1 1.02 2.69 8.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.357 16.768 12.772 0.000 0.000 0.000 0.000 0.000

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

428 431 1197 3286 0 0 0 0 0

N.S.

1 1.01 2.80 7.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.856 20.074 9.975 0.000 0.000 0.000 0.000 0.000

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

520 522 1535 4264 0 0 0 0 0

N.S.

1 1.00 2.95 8.20 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.567 16.935 9.053 0.000 0.000 0.000 0.000 0.000

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

566 584 4227 6884 0 0 0 0 0

N.S.

1 1.03 7.47 12.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.691 26.403 119.069 0.000 0.000 0.000 0.000 0.000

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

469 479 3781 5584 0 0 0 0 0

N.S.

1 1.02 8.06 11.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.053 24.953 63.299 0.000 0.000 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

384 395 3431 4582 0 0 0 0 0

N.S.

1 1.03 8.93 11.93 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.604 33.256 40.642 0.000 0.000 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

442 448 7138 4161 0 0 0 0 0

N.S.

1 1.01 16.15 9.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.747 27.901 32.269 0.000 0.000 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

433 439 7745 4119 0 0 0 0 0

N.S.

1 1.01 17.89 9.51 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.814 29.279 28.083 0.000 0.000 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

450 451 1326 4409 0 0 0 0 0

N.S.

1 1.00 2.95 9.80 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.934 22.201 68.266 0.000 0.000 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

518 526 1551 4781 0 0 0 0 0

N.S.

1 1.02 2.99 9.23 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.568 23.623 209.773 0.000 0.000 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

617 624 5172 5805 0 0 0 0 0

N.S.

1 1.01 8.38 9.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.313 28.201 644.250 0.000 0.000 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

329 341 3000 3113 0 0 0 0 0

N.S.

1 1.04 9.12 9.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.278 27.908 31.981 0.000 0.000 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

261 265 372 1945 0 0 0 0 0

N.S.

1 1.02 1.43 7.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.896 19.310 22.292 0.000 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

210 210 2296 935 0 0 0 0 0

N.S.

1 1.00 10.93 4.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.602 24.139 21.761 0.000 0.000 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 145 182 0 0 0 0 0

N.S.

1 1.00 0.70 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.490 10.655 17.421 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 353 418 1350 0 0 0 0 0

N.S.

1 1.01 1.20 3.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.274 18.596 9.039 0.000 0.000 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

435 436 1216 2512 0 0 0 0 0

N.S.

1 1.00 2.80 5.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.810 16.790 8.813 0.000 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

525 535 1569 4001 0 0 0 0 0

N.S.

1 1.02 2.99 7.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.499 22.223 11.031 0.000 0.000 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

329 362 3460 4228 0 0 0 0 0

N.S.

1 1.10 10.52 12.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.467 31.601 30.243 0.000 0.000 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

275 302 467 3048 0 0 0 0 0

N.S.

1 1.10 1.70 11.08 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.038 20.308 23.722 0.000 0.000 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

254 277 468 2190 0 0 0 0 0

N.S.

1 1.09 1.84 8.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.922 19.096 18.099 0.000 0.000 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

376 405 1138 2883 0 0 0 0 0

N.S.

1 1.08 3.03 7.67 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.454 15.503 15.124 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

427 468 1597 3865 0 0 0 0 0

N.S.

1 1.10 3.74 9.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.898 21.329 10.371 0.000 0.000 0.000 0.000 0.000

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

531 566 1962 5390 0 0 0 0 0

N.S.

1 1.07 3.69 10.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.517 19.498 10.313 0.000 0.000 0.000 0.000 0.000

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

630 672 2319 6977 0 0 0 0 0

N.S.

1 1.07 3.68 11.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.251 25.396 12.849 0.000 0.000 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

510 526 4342 9480 0 0 0 0 0

N.S.

1 1.03 8.51 18.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.366 32.494 32.115 0.000 0.000 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

417 432 3920 7755 0 0 0 0 0

N.S.

1 1.04 9.40 18.60 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.587 28.443 27.553 0.000 0.000 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

387 402 3514 6307 0 0 0 0 0

N.S.

1 1.04 9.08 16.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.507 26.345 20.272 0.000 0.000 0.000 0.000 0.000

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-1) F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

353 372 3225 5260 0 0 0 0 0

N.S.

1 1.05 9.14 14.90 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.355 23.834 14.825 0.000 0.000 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F(-1) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

495 522 1589 7175 0 0 0 0 0

N.S.

1 1.05 3.21 14.49 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.046 17.186 18.081 0.000 0.000 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

582 617 2366 10861 0 0 0 0 0

N.S.

1 1.06 4.07 18.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.599 23.841 11.793 0.000 0.000 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F(-1) F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

686 723 821 13148 0 0 0 0 0

N.S.

1 1.05 1.20 19.17 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.300 17.481 11.854 0.000 0.000 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 248 816 0 0 0 0 0

N.S.

1 1.00 2.36 7.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.297 13.897 22.640 0.000 0.000 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 211 565 0 0 0 0 0

N.S.

1 1.00 1.97 5.28 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.319 10.919 21.683 0.000 0.000 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 170 132 636 0 235 0 0 0

N.S.

1 0.94 0.73 3.53 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.784 2.908 33.519 0.000 0.117 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 142 104 401 0 205 0 0 0

N.S.

1 0.99 0.73 2.80 0.00 1.43 0.00 0.00 0.00

time (sec)

N/A 0.726 1.589 24.891 0.000 0.106 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 84 244 0 153 0 0 0

N.S.

1 1.00 0.76 2.20 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 0.588 2.264 19.481 0.000 0.105 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 118 90 326 0 156 0 0 0

N.S.

1 1.03 0.78 2.83 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.595 1.313 18.983 0.000 0.104 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 147 108 371 0 184 0 0 0

N.S.

1 0.99 0.73 2.51 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.747 1.637 19.856 0.000 0.112 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 174 125 413 0 203 0 0 0

N.S.

1 0.97 0.69 2.29 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.754 2.241 22.376 0.000 0.116 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-1) C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 235 221 832 0 314 0 0 0

N.S.

1 0.89 0.84 3.16 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 1.457 6.246 47.658 0.000 0.112 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]